include("top_menu.js");

function bodyload() // All functions which are called on body load.
{
    getmenu();
}

function include(jsFile) // Includes a Javascript file from within a Javascript script.
{
  document.write('<script type="text/javascript" src="javascript/'+ jsFile + '"></scr' + 'ipt>'); 
}